This book is a specialized monograph on the development of the mathematical and computational metatheory of reductive logic and proof-search, areas of logic that are becoming important in computer science. A systematic foundational text on these emerging topics, it includes proof-theoretic, semantic/model-theoretic and algorithmic aspects. The scope ranges from the conceptual background to reductive logic, through its mathematical metatheory, to its modern applications in the computational sciences. Suitable for researchers and graduate students in mathematical, computational and philosophical logic, and in (...) theoretical computer science and artificial intelligence, this is the latest in the prestigous world-renowned Oxford Logic Guides, which contains Michael Dummet's Elements of intuitionism, Dov M. Gabbay, Mark A. Reynolds, and Marcelo Finger's Temporal Logic Mathematical Foundations and Computational Aspects, J. M. Dunn and G. Hardegree's Algebraic Methods in Philosophical Logic, H. Rott's Change, Choice and Inference: A Study of Belief Revision and Nonmonotonic Reasoning, and P. T. Johnstone's Sketches of an Elephant: A Topos Theory Compendium: Volumes 1 and 2. (shrink)

This book is a specialized monograph on the development of the mathematical and computational metatheory of reductive logic and proof-search, areas of logic that are becoming important in computer science. A systematic foundational text on these emerging topics, it includes proof-theoretic, semantic/model-theoretic and algorithmic aspects. The scope ranges from the conceptual background to reductive logic, through its mathematical metatheory, to its modern applications in the computational sciences. Suitable for researchers and graduate students in mathematical, computational and philosophical logic, and in (...) theoretical computer science and artificial intelligence, this is the latest in the prestigous world-renowned Oxford Logic Guides, which contains Michael Dummet's Elements of intuitionism (2nd Edition), Dov M. Gabbay, Mark A. Reynolds, and Marcelo Finger's Temporal Logic Mathematical Foundations and Computational Aspects, J. M. Dunn and G. Hardegree's Algebraic Methods in Philosophical Logic, H. Rott's Change, Choice and Inference: A Study of Belief Revision and Nonmonotonic Reasoning, and P. T. Johnstone's Sketches of an Elephant: A Topos Theory Compendium: Volumes 1 and 2. (shrink)

This book is a specialized monograph on interpolation and definability, a notion central in pure logic and with significant meaning and applicability in all areas where logic is applied, especially computer science, artificial intelligence, logic programming, philosophy of science and natural language. Suitable for researchers and graduate students in mathematics, computer science and philosophy, this is the latest in the prestigous world-renowned Oxford Logic Guides, which contains Michael Dummet's Elements of intuitionism, J. M. Dunn and G. Hardegree's Algebraic Methods in (...) Philosophical Logic, H. Rott's Change, Choice and Inference: A Study of Belief Revision and Nonmonotonic Reasoning, P. T. Johnstone's Sketches of an Elephant: A Topos Theory Compendium: Volumes 1 and 2, and David J. Pym and Eike Ritter's Reductive Logic and Proof Search: Proof theory, semantics and control. (shrink)

Philosophers have proposed many accounts of biological function. A coarse-grained distinction can be made between backward-looking views, which emphasise historical contributions to fitness, and forward-looking views, which emphasise the current contribution to fitness or role of a biological component within some larger system. These two views are often framed as being incompatible and conflicting with one another. The emerging field of synthetic biology, which involves applying engineering principles to the design and construction of biological systems, complicates things further by adding (...) intentional design as a source of function. In the current study we explored how biology experts and novices think about function in the context of single-celled, multi-celled, and synthetic organisms. We also explored the extent to which each group were function pluralists, and if they were function pluralists, which accounts of function tended to be endorsed together. The results showed a surprising degree of similarity between experts and novices in most contexts, although certain differences were apparent. Most surprisingly, we found evidence not only of function pluralism in both groups, but pluralism between backward-looking and forward-looking accounts. We discuss these findings in the context of the philosophical debate on function and consider the practical implications for public acceptance of synthetic biology. First, we argue that philosophers of biology should re-examine the purported incompatibility between accounts of function. Second, we argue that due to the introduction of an intentional aetiology in synthetic biology, there may be an inherent conflict between the views of experts and novices when thinking about synthetic biology. (shrink)

The imagery we adopt when recalling the personal past may involve different perspectives. In many cases, we remember the past event from our original point of view. In some cases, however, we remember the past event from an external “observer” perspective and view ourselves in the remembered scene. Are such observer perspective images genuine memories? Are they accurate representations of the personal past? This chapter focuses on such observer perspectives in memory, and outlines and examines proposals about the nature of (...) such imagery. (shrink)

Peace is a hallmark of human societies. However, certain ant species engage in long-term intergroup resource sharing, which is remarkably similar to peace among human groups. We discuss how individual and group payoff distributions are affected by kinship, dispersal, and age structure; the challenges of diagnosing peace; and the benefits of comparing convergent complex behaviours in disparate taxa.

Hasdai Crescas fue un importante pensador, autor y líder comunitario judío de finales del siglo XIV y principios del XV, cuyas obras son estudiadas con detalle en el mundo académico. No obstante, su impacto sobre la comunidad judía tradicional ha sido casi inexistente. Nunca terminó su obra legal, la que podría haber tenido impacto en los judíos tradicionales. Sus escritos filosóficos conservados son difíciles de seguir; solo sobrevive una de las dos polémicas anticristianas vernáculas, en una traducción/paráfrasis hebrea. Aunque Crescas (...) fue bien recordado en el siglo posterior a su muerte, ya en este período se pueden detectar las razones de su posterior olvido. Un examen de la historia de la recepción de la obra de Crescas en el siglo XV demuestra hasta qué punto sus posiciones polémicas, dogmáticas y filosóficas fueron mayoritariamente rechazadas, más allá de que tuvo partidarios, fundamentalmente entre sus alumnos más cercanos. No es de extrañar, entonces, que en los siglos posteriores, la memoria de Crescas fuera casi borrada de la conciencia comunitaria judía. (shrink)

PrécisThe administration of Pre-Mortem Interventions (PMIs) to preserve the opportunity to donate, to assess the eligibility to donate, or to optimize the outcomes of donation and transplantation are controversial as they offer no direct medical benefit and include at least the possibility of harm to the still-living patient. In this article, we describe the legal analysis surrounding consent to PMIs, drawing on existing legal commentary and identifying key legal problems. We provide an overview of the approaches in several jurisdictions that (...) have chosen to explicitly address PMIs within codified law. We then provide, as an example, a detailed exploration of how PMIs are likely to be addressed in one jurisdiction where general medical consent law applies because there is no specific legislation addressing PMIs — the province of Ontario in Canada. (shrink)

Doctors’ strikes are legally permissible in the UK, with the situation differing in other countries. But are they morally permissible? Doug McConnell and Darren Mann have systematically attempted to dismiss the arguments for the moral impermissibility of doctors’ strikes and creatively attempted to provide further moral justification for them. Unfortunately for striking doctors, they fail to achieve this. Meanwhile, junior doctors’ strikes have continued in the UK through 2023 and have now extended into 2024. In this response, which focuses on (...) the UK situation and specifically junior doctors’ strikes in the National Health Service (NHS) in England, I will demonstrate a central problem with their arguments—namely that they underplay the harms caused by prolonged doctors’ strikes by ignoring the harms to patients with cancer. This weakens their conclusion that strikes are morally permissible in terms of the conditions and thresholds they set. I then provide a psychological critique of their justification for strikes in terms of the interests of the public. It follows that invoking the controversial concept of supererogatory action is ungrounded but also absurd when you consider time-critical cancer care. If those representing striking doctors wish to maintain a modicum of moral respectability, they should mitigate for patients with cancer and negotiate reasonably and with urgency. (shrink)

Grace and Freedom in a Secular Age offers a concise exposition of key ideas - contingency, otherness, freedom, vulnerability and mutuality - that inform the work of the Canadian philosopher Charles Taylor, especially concerning the dynamics of religious belief and religious denial in what he calls a "a secular age." The book integrates discussion of Immanuel Kant and Susan Neiman in particular and seeks to show how Taylor's work can be fruitfully engaged by theologians.

In this paper, I discuss the work of W. E. B. Du Bois to expose the disastrous effects of white supremacy in the U.S. and the world. While his early works suggest that white supremacy might be rehabilitated by the careful presentation of contrary evidence, in later works he catalogs the primary features of whiteness, including an infantile comportment, a pathological attachment to innocence, and an epistemic incapacity to absorb evidence of its own error. To capture the scope of the (...) delusion of whiteness on Du Bois’s account, I suggest the term “irrevocable license.” The remainder of the paper uses Du Bois’s account to examine the case of a “Karen”—a white woman who obliviously and inappropriately interferes with the lawful actions of a family of color—and further considers police violence against people of color as an outgrowth of white irrevocable license. (shrink)

The Western Middle Ages witnessed the emergence of a wide array of economic theories of public life and the common good that emphasized the worthiness (indeed priority) of ensuring a satisfactory arrangement of economic goods primarily for the sake of meeting the physical, temporal needs of individuals from all classes and orders. The chapter surveys a plethora of texts, dating from the middle of the twelfth century up to the end of the fifteenth, that considered pragmatic issues related to how (...) the material self-interest of human beings coincided with the augmentation of public wealth within a community, and especially how governmental policies promoted or hampered the goal of personal economic improvement. Despite the diversity of and occasional discordance among these writings, all of them fundamentally agree on two interrelated points: (1) the pursuit of material self-interest, rather than conflicting with or detracting from the common good, actually supports and enhances it; (2) the responsibility of government to promote the public welfare requires paying careful attention to the protection and promotion of private advantage. (shrink)

We present PhrasIS, a benchmark dataset composed of natural occurring Phrase pairs with Inference and Similarity annotations for the evaluation of semantic representations. The described dataset fills the gap between word and sentence-level datasets, allowing to evaluate compositional models at a finer granularity than sentences. Contrary to other datasets, the phrase pairs are extracted from naturally occurring text in image captions and news headlines. All the text fragments have been annotated by experts following a rigorous process also described in the (...) manuscript achieving high inter annotator agreement. In this work we analyse the dataset, showing the relation between inference labels and similarity scores. With 10K phrase pairs split in development and test, the dataset is an excellent benchmark for testing meaning representation systems. (shrink)

Polyphony of Anxiety. The Interview with Stefano Micali about His Book Phenomenology of Anxiety.

info:eu-repo/semantics/publishedVersion.

Across four studies, we explored how feeling nostalgic about an attitude object impacts the metacognitive characteristics of the attitude toward that object and how those metacognitions predict the evaluation’s underlying strength. In each study, participants reflected on and evaluated a song or television show that either did or did not elicit nostalgia. Across these studies, we found support for the hypotheses that nostalgic attitude objects are viewed more positively, appraised with greater attitudinal importance, and exhibited less objective ambivalence. In Study (...) 4, we observed that nostalgic attitudes are associated with greater behavioural intentions and that this relationship was mediated both by attitudinal importance and objective ambivalence. These studies contribute to our understanding of how nostalgia affects attitude formation processes. (shrink)

Organized across national boundaries and with millions of supporters worldwide, transnational environmental activist groups such as Greenpeace, the World Wildlife Fund, and Friends of the Earth play a central role in the way the world addresses environmental issues. This book provides the most systematic and theoretically informed study to date of the strategies these organizations use to advance global environmental protection. Based on case studies of three transnational groups, it argues that in addition to lobbying governments, activists operate within and (...) across societies to effect widespread change. They work through transnational social, economic, and cultural networks to alter corporate practices, educate vast numbers of people, pressure multilateral development banks, and shift standards of good conduct. Wapner argues that because this activity takes place outside the formal arena of inter-state politics, environmental activists practice "world civic politics"; they politicize global civil society. The theoretical import of this book is to bring the practice of world civic politics into sharp relief and generalize its significance beyond environmental affairs to explain the efforts of all NGOs in world politics. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:570 BOOK REVIEWS like reasonable rule for economic life. This effort is worthy of more attention than is possible here, but let it be noted that it must inevitably suffer the same fate as any ethical calculus: someone must decide for others what is their due and what is not. How much wealth, for example, makes for a concentration [of wealth] that would be " demonstrably detrimental to some (...) people's exercise of their generic rights "? His is ultimately an entitlement or rights ethic, rather than an aitial ethic of goal-purposive fulfillment for the individual, projected outwards for a common good scenario. While his rejection of goal ethics's inability to detail principles for distribution of goods is noteworthy, it does not appear that a tightened version of generic rights theory will come closer to either of Phillips's desiderata: a justification of moral reasoning apart from any theory of nature or a calculus for its application. Desan and Phillips wish to think against the limits of the human situation. For Desan, rising above limitation is a moral task and obligation facing us each, if there is to be a common future. His call is to be World Citizen in a Polis of Nations. Phillips's vision is more concrete, a distribution of benefits to benefit all with well-being and freedom. But this mundane task is no less difficult than Desan's transcendent one. Indeed, according to Augustine, even the Divine Mind must utilize an artifice in dealing with human creation: "He loves each of us as though there were only one of us." Both ethicists have striven to show us how we might think this vision for ourselves, i.e., for each other of us. ]OIIN B. DAVIS, O.P. ' Detroit, Michigan Catholics, Anglicans, and Puritans: Seventeenth-Century Essays. By HUGH TREVOR-ROPER. Chicago: The University of Chicago Press, 1988. Pp. xiii + 317. $27.50 (hardbound). Even to list the changes and events which occurred in seventeenth century England is a difficult task: the century spans the period from the death of Queen Elizabeth to the Glorious Revolution and beyond, through the Civil War, the accession and exile (twice) of the Stuarts, the rise of science, the transformation of the theological and religious issues of the English Reformation, to name only the most obvious. To conceive a book, in the form of occasional essays, which not only addresses these changes and events but does so by establishing the connections which were present with European currents at the same time surely tempts fate, even when it does not tempt reviewers. BOOK REVIEWS 571 But Hugh Trevor-Roper is a master, both of the period under survey and of the form of the essay. With one exception, each of these essays began as a lecture or seminar paper, and the pleasantly legible style in which they are written must bear some trace of that origin. The occasional flashes of wit, mixed with rthe fairly non-technical style, make the book a joy to read and a welcome escape from the usually constipated style of scholarly prose. In his Introduction, the essayist clearly sets forth his thesis that English intellectual history does not exist apart from the currents of European intellectual history (a thesis for which Trevor-Roper has already staked a claim). That leads to what may very well be the major problem with these essays: its end is in its beginning. The list of names cited in these essays only partially coincides with the list of names in the index; the former is much longer than the latter. And while the style of the essay welcomes the reader to the period, it also throws up more names and places and events than can be explained or even annotated adequately. This occurs both on a large and on a small scale. The first essay, on "Nicholas Hill, the English Atomist" contains such a vast array of names that at times it becomes the prosopo· graphical equivalent of a telephone book. On a large scale, there is the problem with a definition of Arminianism. No definition, at least no formal definition, is attempted-and this is probably wise. But, particularly in... (shrink)